Three ways formally verified code can go wrong in practice
buttondown.com·4h
📜Proof Carrying Code
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·3h·
Discuss: Hacker News
🛡️RISC-V Security
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·11h
💎Information Crystallography
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·18h·
Discuss: DEV
🧩RISC-V
Experimenting with ACL2 and Claude Code
mikedodds.org·9h·
Discuss: Hacker News
👑Isabelle
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.com·3h·
Discuss: rescue1130.blogspot.com
🛠️Greaseweazle
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·17h
⛪Church Encoding
The Chip That Spoke Lisp
jxself.org·3d
🤖Lisp Machines
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com·1h·
Discuss: Hacker News, r/hardware
🖥️Terminal Renaissance
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·21h·
Discuss: Hacker News
🔢Reed-Solomon Math
MIE: New memory protection only in iPhone 17 & Co.
heise.de·1d
🏷️Memory Tagging
Implicit `operator bool` participates in comparison
quuxplusone.github.io·21h
🦀Rust Verification
Cactus Language • Semantics 3
inquiryintoinquiry.com·6h
🔢Denotational Semantics
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🔗Lisp
[Help] ProArt X670E-Creator - IOMMU groups for dual passthrough? (pre-purchase)
reddit.com·9h·
Discuss: r/homelab
🖥Home Lab Setup
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·2d
🧮Compute Optimization
Interviewing Intel's Chief Architect of x86 Cores
chipsandcheese.com·1d·
Discuss: Hacker News, r/hardware
🧲RISC-V Archaeology
BYOVD to the next level (part 2) — rootkit like it's 2025
blog.quarkslab.com·1d
🔍eBPF
Hardware Vulnerability Allows Attackers to Hack AI Training Data – NC State News
news.ncsu.edu·1h·
Discuss: Hacker News
🔐RISC-V Cryptography
Avalue EPC-ASL Intel N97 fanless industrial mini PC is designed for 24/7 operation
cnx-software.com·21h
🔌Single Board PC